2. Advanced HDL synthesis and SOC prototyping :
پدیدآورنده: Vaibbhav Taraate.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Systems on a chip.,Verilog (Computer hardware description language),Systems on a chip.,Verilog (Computer hardware description language)
رده :
TK7895
.
E42
T37
2019
3. Advances in Computer Systems Architecture (vol. # 3740) :
پدیدآورنده: edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data transmission systems.
5. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
7. BL,BL
پدیدآورنده: / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
8. Comprehensive functional verification the complete industry cycle /
پدیدآورنده: Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
58
.
W55
2005eb
9. Designing 2D and 3D network-on-chip architectures
پدیدآورنده: Konstantinos Tatas [and three others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network architectures.,Computer science.,Electronics.,Systems engineering.
10. Intelligence computation and evolutionary computation :
پدیدآورنده: Zhenyu Du (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.
11. Machine learning in VLSI computer-aided design /
پدیدآورنده: editors, Abrahim (Abe) M. Elfadel, Duane S. Boning and Xin Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Integrated circuits-- Very large scale integration-- Computer-aided design.,Machine learning.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Machine learning.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7874
.
75
12. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده: ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
13. Processor design :
پدیدآورنده: edited by Jari Nurmi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application-specific integrated circuits.,Field programmable gate arrays.,Systems on a chip.,Application-specific integrated circuits.,Field programmable gate arrays.,Ingénierie.,Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
P76
2007eb
14. System-level validation
پدیدآورنده: Mingsong Chen...[et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems-- Verification,Systems on a chip-- Testing
رده :
TK7895
.
E42
S97
2013
15. System-on-chip :
پدیدآورنده: edited by Bashir M. Al-Hashimi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
16. Testing and Diagnosis of VLSI and ULSI
پدیدآورنده: edited by Fabrizio Lombardi, Mariagiovanna Sami.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer-aided design.,Engineering.
رده :
TK7874
.
E358
1988
17. VLSI:
پدیدآورنده: edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer-aided design.,Engineering.
رده :
TK7874
.
E358
2000
18. Verification techniques for system-level design
پدیدآورنده: Fujita, Masahiro
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
19. Verification techniques for system-level design /
پدیدآورنده: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
20. Verification techniques for system-level design
پدیدآورنده: Fujita, Masahiro, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
